Unplug and Play Language Models: Decomposing Experts in Language Models at Inference Time
arxiv.org·18h
🔗Parser Combinators
Ask HN: Why is Prolog not gaining traction?
news.ycombinator.com·14h·
Discuss: Hacker News
💭Prolog
Implementing Lock-free channels using pointer tagging in Databend's query engine written in Rust
databend.com·1d·
Discuss: r/rust
🧠Memory Management
Teach Your Free AI Chatbot with Reports & Web Data (RAG Basics)
dev.to·5h·
Discuss: DEV
🧫Cellular Automata
New ByteDance Seed reasoning RL paper, relating RL to self-supervised learning.
threadreaderapp.com·9h
🧩Theorem Proving
Cracking the Density Code: Why MAF Flows Where KDE Stalls
towardsdatascience.com·5h
🎲Probabilistic Programming
Is this logic sound?
reddit.com·2d·
Discuss: r/compsci
🧭SMT Solvers
The Baby Paradox in Haskell
blog.jle.im·1d·
Discuss: Lobsters, Hacker News
🧮Programming Language Theory
LLMs Won't Replace Programming Languages
mech-lang.org·16h·
Discuss: Hacker News
🧮Programming Language Theory
Using unstructured data to create knowledge graphs in SurrealDB
surrealdb.com·22h
🔗Parser Combinators
Toying with Poisoned Search Results Fed to an LLM
github.com·1h·
Discuss: Hacker News
🧩Theorem Proving
The Cost of Winning:How RL Training on Poker Leads to Evil LLMs
tobysimonds.com·13m·
Discuss: Hacker News
⚖Algorithmic Game Theory
Busy Beaver Hunters Reach Numbers That Overwhelm Ordinary Math
quantamagazine.org·8h·
Discuss: Hacker News
📈Complexity Theory
Rebuilding Babel: The Tokenizer (2022)
nan.fyi·11h·
Discuss: Hacker News
🔧Compiler Design
how to resolve a halting paradox
academia.edu·2d·
Discuss: r/programming
🧭SMT Solvers
Who should be SEC football teams' 3 annual rivals? Let us know
nytimes.com·4h
🧫Cellular Automata
Dyna – Logic Programming for Machine Learning
dyna.org·6d·
Discuss: Lobsters, Hacker News, r/compsci
💭Prolog
How to Get People Excited about Functional Programming • Russ Olsen & James Lewis • GOTO 2024
youtube.com·1d
⚙Functional Programming
Enhance AI agents using predictive ML models with Amazon SageMaker AI and Model Context Protocol (MCP)
aws.amazon.com·2d·
Discuss: Hacker News
🎲Probabilistic Programming
From Some to All The Basics of Logic in Computers
dev.to·4d·
Discuss: DEV
🔢Mathematical Logic